79.40/83.13	unsat
