0.69/1.42	unsat
