85.83/88.71	unsat
