0.07/0.56	unsat
