0.79/1.07	unsat
