80.12/85.86	unsat
