85.80/88.94	unsat
