0.69/1.54	unsat
