78.36/78.56	unsat
