2.68/3.24	unsat
