1.68/2.99	unsat
