80.18/85.76	unsat
