82.54/85.54	unsat
