84.15/87.61	unsat
