0.29/1.10	unsat
