81.77/82.35	unsat
