2.68/3.01	unsat
