86.31/89.76	unsat
