0.29/1.07	unsat
