2.67/6.94	unsat
