76.98/77.04	unsat
