80.34/81.83	unsat
