80.28/86.07	unsat
