73.80/80.44	unsat
