79.16/82.04	unsat
