0.83/0.89	unsat
