0.77/0.81	unsat
