1.18/2.07	unsat
