2.68/2.82	unsat
