0.50/0.81	unsat
