0.69/1.31	unsat
