0.69/1.19	unsat
