0.69/1.57	unsat
