0.26/0.37	unsat
