72.67/76.07	unsat
