78.76/81.74	unsat
