78.21/78.63	unsat
