0.08/0.49	unsat
