79.89/81.23	unsat
