76.17/78.63	unsat
