0.66/0.81	unsat
