84.89/87.07	unsat
