80.34/83.10	unsat
