83.30/87.01	unsat
