83.38/87.59	unsat
