1.16/3.07	unsat
