86.11/89.76	unsat
