79.40/86.24	unsat
