79.36/81.74	unsat
