76.95/77.24	unsat
