79.87/80.35	unsat
