2.68/2.94	unsat
