76.34/77.10	unsat
