78.24/83.40	unsat
