1.68/2.40	unsat
