0.07/0.07	unsat
