79.41/81.85	unsat
