1.18/3.07	unsat
