2.68/3.61	unsat
