76.76/77.04	unsat
