0.69/1.53	unsat
