0.29/0.81	unsat
