3.23/3.94	unsat
