2.68/4.34	unsat
