83.87/87.96	unsat
