0.69/1.07	unsat
