0.28/1.49	unsat
