80.04/81.84	unsat
